Claus Schwechheimer

Dynamic Asset Allocation ∗ Claus

Higher - Order ( Non - ) Modularity Claus

We show that, contrary to the situation in first-order term rewriting, almost none of the usual properties of rewriting are modular for higher-order rewriting, irrespective of the higher-order rewriting format. We show that for the particular format of simply typed applicative term rewriting systems modularity of confluence, normalization, and termination can be recovered by imposing suitable l...

Putting Claus Back into Christmas

A Christmas season wouldn’t be complete without the annual complaint that the holiday has become too commercialized and that we need to put Christ back into Christmas, that he is the reason for the season. This gripe is not only misguided but has things backwards – Santa Claus is a better representative of the true spirit of Christmas than Jesus ever was or ever could be. As we will see, Christ...

Santa Claus - with Mobile Reindeer and Elves

Mobile processes, along with mobile channels, enable process networks to be dynamic: they may change their size (number of processes, channels, barriers) and shape (connection topology) as they run – much like living organisms. One of the benefits is that all connections do not have to be established statically, in advance of when they are needed and open to abuse. In classical occam, care had ...

Yes , Virginia , There is a Santa Claus

The bulk of this paper is a finegrained critical analysis of a single argument. Such detailed treatment, unusual though it is in a journal article, is warranted for a number of reasons, I think . First, a clear understanding of the particular argument in question demands close attention. Different arguments can, and do, warrant different degrees, kinds, and depths of analysis, and the one under...